1. Abstract Interpretation of Declarative Languages
Author: Editors Samson Abramsky, Chris Hankin
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer Programs (validation),Structured Programming
Classification :
QA
،
76
.
76
،.
V47
،
1987
2. Global specification and validation of embedded system
Author: / by G. Nicolescu and A.A. Jerraya [eds.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Embedded computer systems.,Heterogeneous computing.,Computer programs--Validation
Classification :
TK
,
7895
,.
E42
,
G56
,
2007eb
3. Global specification and validation of embedded systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Embedded computer systems. ; Heterogeneous computing. ; Computer programs ; Validation. ;
4. Global specification and validation of embedded systems :
Author: by G. Nicolescu and A.A. Jerraya [eds.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Validation.,Embedded computer systems.,Heterogeneous computing.,Computer programs-- Validation.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems.,Heterogeneous computing.,Ingénierie.
Classification :
TK7895
.
E42
G56
2007eb
5. Guidance for the Verification and Validation of Neural Networks
Author: Laura L.Pullum,Brian J.Taylor ,Majorie A.Darrah
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Neural networks (Computer Science),Computer programs -- Validation,computer programs -- Verfication
Classification :
006
,.
3222
,
P84
,
2007
6. Guidance for the verification and validation of neural networks
Author: Pullum, Laura L.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Neural networks (Computer science) ► Computer programs- Validation ► Computer programs- Verification
Classification :
006
P982g
7. Guidance for the verification and validation of neural networks /
Author: Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Validation.,Computer programs-- Verification.,Neural networks (Computer science)
Classification :
QA76
.
87
.
P85
2007
8. Program construction and verification
Author: Roland C. Backhouse
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programs,Computer programs- Validation
Classification :
QA
،
76
,.
754
،.
P7
,
B28
،
1986
9. Software verification and validation for practitioners and managers /
Author: Steven R. Rakitin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Validation.,Computer software-- Verification.,COMPUTER PROGRAMS.,Computer software-- Validation.,Computer software-- Verification.,PROGRAM VERIFICATION (COMPUTERS),Qualitätskontrolle,SOFTWARE RELIABILITY.,Software.
Classification :
QA76
.
76
.
V47
R35
2001
10. Softwore verification and validation; fealistic project approaches
Author: Deutsch, Michael
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer programs- Verification ► Computer programs- Validation
Classification :
005
D486s
